1521. Tools and algorithms for the construction and analysis of systems : 5th International Conference, TACAS'99, held as part of the Joint European Conference on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999 : proceedings
پدیدآورنده : W. Rance Cleaveland )ed.(
کتابخانه: (طهران)
موضوع : Congresses ، System design,Congresses ، Computer software -- Development
رده :
QA
76
.
L28
Vol
.
1579
1522. Tools and algorithms for the construction and analysis of systems : 6th International Conference, TACAS 2000, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March/April 2000 : proceedings
پدیدآورنده : Susanne Graf, Michael Schartzbach )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، System design,Congresses ، Computer software -- Development
رده :
QA
76
.
L28
Vol
.
1785
1523. Tools and algorithms for the construction and analysis of systems : 4th International Conference, TACAS'98, held as part of the joint European Conference on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28-April 4, 1998 : proceedings
پدیدآورنده : Bernhard Steffen )ed.(
کتابخانه: (طهران)
موضوع : Congresses ، System design,Congresses ، Computer software -- Development
رده :
QA
76
.
L28
Vol
.
1384
1524. Tools and algorithms for the construction and analysis of systems : 11th International Conference, TACAS 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005 : proceedings
پدیدآورنده : Nicolas Halbwachs, Lenore D. Zuck )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، System design,Congresses ، Computer software -- Development
رده :
QA
76
.
L28
Vol
.
3440
1525. Tools and algorithms for the construction and analysis of systems : 10th international conference, TACAS 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29-April 2, 2004 : proceedings
پدیدآورنده : Kurt Jensen, Andreas Podelski )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، System design,Congresses ، Computer software -- Development
رده :
QA
76
.
L28
Vol
.
2988
1526. Tools and algorithms for the construction and analysis of systems : 7th international conference, TACAS 2001, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings
پدیدآورنده : Tiziana Margaria, Wang Yi )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، System design,Congresses ، Computer software -- Development
رده :
QA
76
.
L28
Vol
.
2031
1527. Tools and algorithms for the construction and analysis of systems : 9th international conference, TACAS 2003, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 2003 : proceedings
پدیدآورنده : Hubert Garavel, John Hatcliff )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، System design,Congresses ، Computer software -- Development
رده :
QA
76
.
L28
Vol
.
2619
1528. Tools and algorithms for the construction and analysis of systems : 8th international conference, TACAS 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 2002 : proceedings
پدیدآورنده : Joost-Pieter Katoen, Perdita Stevens )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، System design,Congresses ، Computer software -- Development
رده :
QA
76
.
L28
Vol
.
2280
1529. Tools and algorithms for the construction and analysis of systems : third International Workshop, TACAS'97, Enschede, The Netherlands, April 2-4, 1997 : proceedings
پدیدآورنده : Ed Brinksma )ed.(
کتابخانه: (طهران)
موضوع : Congresses ، System design,Congresses ، Computer software -- Development,Congresses ، Electronic data processing -- Distributed processing
رده :
QA
76
.
L28
Vol
.
1217
1530. Tools for working with guidelines :
پدیدآورنده : Jean Vanderdonckt and Christelle Farenc (eds.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Software engineering, Congresses,System design, Congresses
رده :
QA76
.
9
.
S88
I584
2001
1531. Toxic chemical and explosives facilities :
پدیدآورنده : Ralph A. Scott, Jr., editor.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Chemicals-- Safety measures, Congresses.,Explosives-- Safety measures, Congresses.,Accident Prevention.,Equipment Design.,Protective Devices.
رده :
TP295
.
T69
1532. Transmission and driveline design.
پدیدآورنده :
موضوع : ، Automobiles- Transmission devices- Design and construction- Congresses
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
1533. Transport and fishing craft for emergent countries
پدیدآورنده : organised by the RINA Small Craft Group
کتابخانه: (طهران)
موضوع : Fishing boats - Developing Countries - Congresses , Fishing boats - Design and Construction - Congresses
رده :
VM
431
.
T72
1981
1534. Transportation infrastructure engineering, materials, behavior and performance :
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Pavements ; Design and construction ; Congresses. ;
1535. Trenchless pipeline projects : practical applications : proceedings of the conference, Boston, Massachusetts, June 8-11, 1997
پدیدآورنده : sponsored by the Pipeline Division, ASCE ; co-sponsored by and in cooperation with ASCE Construction Division ... ]et al.[ ; edited by Lynn E. osborn
کتابخانه: (طهران)
موضوع : Pipelines - Design and construction - Congresses , Trenchless construction - Congresses
رده :
TA
660
.
P55
T74
1997
1536. Trends in Functional Programming
پدیدآورنده : \ Jurriaan Hage , Jay McCarthy (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Functional programming (Computer science) -- Congresses.,Logic design -- Computer programs -- Congresses.,Data structures (Computer science) -- Congresses.,طراحی منطقی -- برنامه‌های کامپیوتری -- کنگره ها ,ساختار داده‌ها -- کنگره ها
رده :
QA
76
.
62
.
T7
2015
E-Book
,
1537. Trends in functional programming :
پدیدآورنده : Michał Pałka, Magnus Myreen (Eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Data structures (Computer science), Congresses.,Functional programming (Computer science), Congresses.,Logic design-- Computer programs, Congresses.,Computer science.,Data structures (Computer science),Functional programming (Computer science),Logic design-- Computer programs.,Logic design.,Operating systems (Computers)
رده :
QA76
.
62
.
I58
2018
1538. Trends in functional programming :
پدیدآورنده : David Van Horn, John Hughes (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Data structures (Computer science), Congresses.,Functional programming (Computer science), Congresses.,Logic design-- Computer programs, Congresses.,Data structures (Computer science),Functional programming (Computer science),Logic design-- Computer programs.
رده :
QA76
.
62
1539. Trends in functional programming :
پدیدآورنده : edited by Meng Wang, Scott Owens.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Data structures (Computer science), Congresses.,Functional programming (Computer science), Congresses.,Logic design-- Computer programs, Congresses.,Computer architecture.,Computer programming-- software development.,Computer programming.,Computer science.,Computers-- Expert Systems.,Computers-- Information Technology.,Computers-- Operating Systems-- General.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Computers, Special purpose.,Expert systems-- knowledge-based systems.,Operating systems (Computers),Operating systems.,Programming & scripting languages: general.,Programming languages (Electronic computers),Software engineering.,Software Engineering.,Systems analysis & design.
رده :
QA76
.
62
1540. Tribological design of machine elements
پدیدآورنده : edited by D. Dowson...]et al.[
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع : ، Tribology -- Congresses,، Machine design -- Congresses
رده :
TJ
1075
.
A2L43
